Conception formelle de documents hypermedias portables
نویسنده
چکیده
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Conception formelle de documents hypermedias portables Roberto Willrich
منابع مشابه
Expression et usage de la variabilité dans les patrons de conception
RÉSUMÉ. La description d’un patron de conception ne se résume pas à la solution généralement semi-formelle et limitée à un diagramme de classes. L’application (imitation) d’un patron est certes dépendante des rubriques solutions mais bon nombre d’informations utiles à cette opération sont disponibles dans d’autres rubriques. Le concepteur de patrons y détaille souvent des variantes pour sa solu...
متن کاملSynthèse d'observateurs à partir d'exigences temporelles
Résumé. A contrario des normes UML 2.1 et SysML, le profil UML TURTLE (Timed UML and RT-LOTOS Environment) dispose d’une sémantique formelle et d’une méthodologie. Avec les systèmes temps réel pour cible, cette méthodologie met l’accent sur la vérification formelle du comportement des objets. Le profil TURTLE est doté d’un langage graphique et formalisé d’expression d’exigences temporelles. La ...
متن کاملConception assistée d'une ontologie à partir d'une conceptualisation consensuelle exprimée de manière semi-formelle
Résumé : Cet article présente une méthodologie assistée de conception d'une ontologie à travers trois méthodes, soit une méthode d'élicitation des connaissances d'un domaine résultant en un modèle semi-formel de ces connaissances, une méthode de formalisation conduisant à la production d’une ontologie et une méthode de validation syntaxique et sémantique de l'ontologie. Les processus de formali...
متن کاملG-OWL : Vers un langage de modélisation graphique, polymorphique et typé pour la construction d'une ontologie dans la notation OWL
Résumé : Le Web Ontology Language (OWL) standardisé par le W3C a pour objectif d’offrir un langage de conception d’ontologies pour le web sémantique. L’ingénierie d’une ontologie est une activité complexe nécessitant une habilité peu accessible à des experts de contenu. En revanche, pour modéliser du contenu métier, la modélisation graphique semi-formelle est une technique souvent employée pour...
متن کاملLa combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données
Les méthodes utilisées pour la spécification et le développement d’applications de bases de données sont basées soit sur les notations graphiques (appelées méthodes semi-formelles) soit sur des notations mathématiques (appelées méthodes formelles). Les méthodes semi-formelles (E-R, UML, OMT,...) (Jacobson et al., 2005) permettent une représentation intuitive et synthétique du système à étudier....
متن کامل